Graphical Contents

Presenting Large Graphical Contents on Mobile Devices – Performance Issues

Mobile devices have become popular in recent years, and are more and more used to handle and display large graphics. Due to size and application, these devices suffer from limited resources. Especially if large graphical content must be displayed, the needed system resources often exceed the capabilities of a mobile device. In this paper, we want to give guidelines for the display of graphical ...

Model-Driven Generation of Graphical Maps for e-Contents

In this paper we present the application of a model driven software development approach (MDSD) to the generation of graphical (interactive) maps. The approach is rooted on the Eclipse Modeling Framework (EMF) and on a textual representation of the metamodel handled by the openArchitectureWare (oAW) suite of plug-ins. The metamodel represents our domain-specific language (DSL), which extends th...

Graphical Abstracts

CONTENTS CONTENTS Contents

CONTENTS Contents �

We illustrate the use of functional system speci cations and their re nement in the development of system components by a simple case study The development includes the modular speci cation re nement and veri cation of system components We start the development with an informal description of the tasks of the case study and then step by step carry out the tasks formally The informal requirement...